- automated program synthesis
- Компьютерная техника: автоматический синтез программ
Универсальный англо-русский словарь. Академик.ру. 2011.
automated program synthesis
Смотреть что такое "automated program synthesis" в других словарях:
Program synthesis — comprises a range of technologies for the automatic generation of executable computer programs from high level specifications of their behaviour. In contrast to compilation, the specifications are usually non algorithmic.The idea originated in… … Wikipedia
High-level synthesis — (HLS), sometimes referred to as C synthesis, electronic system level (ESL) synthesis, algorithmic synthesis, or behavioral synthesis, is an automated design process that interprets an algorithmic description of a desired behavior and creates… … Wikipedia
Device driver synthesis and verification — The device driver is a program which allows the software or higher level computer programs to interact with a hardware device. These software components act as a link between the devices and the operating systems, communicating with each of these … Wikipedia
Speech synthesis — Stephen Hawking is one of the most famous people using speech synthesis to communicate Speech synthesis is the artificial production of human speech. A computer system used for this purpose is called a speech synthesizer, and can be implemented… … Wikipedia
Richard Waldinger — Richard J. Waldinger is a computer science researcher at SRI Artificial Intelligence Laboratory (where he has worked since 1969) whose interests focus on the application of automated deductive reasoning to problems in software engineering and… … Wikipedia
List of computer science conferences — This is a list of academic conferences in computer science. Most of these academic conferences are annual or bi annual events.The order with which the conferences are listed in their respective fields corresponds to a rough and non authoritative… … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
University of Maryland, Baltimore County Majors and Programs — The University of Maryland, Baltimore County Majors and Programs include 42 majors, 41 minors and 17 certificate programs. These programs range from the arts, engineering and information technology, humanities, sciences, pre professional studies… … Wikipedia
photography, technology of — Introduction equipment, techniques, and processes used in the production of photographs. The most widely used photographic process is the black and white negative–positive system (Figure 1 >). In the camera the lens projects an image of… … Universalium
Mathematics and Physical Sciences — ▪ 2003 Introduction Mathematics Mathematics in 2002 was marked by two discoveries in number theory. The first may have practical implications; the second satisfied a 150 year old curiosity. Computer scientist Manindra Agrawal of the… … Universalium
Physical Sciences — ▪ 2009 Introduction Scientists discovered a new family of superconducting materials and obtained unique images of individual hydrogen atoms and of a multiple exoplanet system. Europe completed the Large Hadron Collider, and China and India took… … Universalium
